home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 5 / Apprentice-Release5.iso / Source Code / C / Applications / Moscow ML 1.31 / source code / mosml / src / mosmllib / NJ93.sig < prev    next >
Encoding:
Text File  |  1996-07-03  |  1.5 KB  |  56 lines  |  [TEXT/R*ch]

  1. (* NJ93 -- 1995-02-24 
  2.    Half-way compatibility with those SML/NJ 0.93 basis structures
  3.    which were open in the initial environment. 
  4.  
  5.    These functions are provided for compatibility, to help you make old
  6.    programs work.
  7.  
  8.    Note that SML/NJ 0.93 `print' is overloaded at bool, int, real, and
  9.    string, and that Moscow ML `print' is polymorphic but behaves
  10.    differently from SML/NJ 0.93 print on string arguments.  The effect of
  11.    SML/NJ 0.93 `print' for string type arguments can be achieved by:
  12.  
  13.        BasicIO.say
  14. *)
  15.  
  16. val print : string -> unit
  17.  
  18. (* NJ93 Integer *)
  19.  
  20. val max : int * int -> int
  21. val min : int * int -> int
  22.  
  23. (* NJ93 List *)
  24.  
  25. exception Hd and Tl and Nth and NthTail
  26.  
  27. val hd      : 'a list -> 'a             (* Hd *)
  28. val tl      : 'a list -> 'a list        (* Tl *)
  29. val nth     : 'a list * int -> 'a       (* Nth *)
  30. val nthtail : 'a list * int -> 'a list  (* NthTail *)
  31. val app     : ('a -> 'b) -> 'a list -> unit
  32. val revapp : ('a -> 'b) -> 'a list -> unit
  33. val fold    : ('a * 'b -> 'b) -> 'a list -> 'b -> 'b
  34. val revfold : ('a * 'b -> 'b) -> 'a list -> 'b -> 'b
  35.  
  36. (* NJ93 Real *)
  37.  
  38. val ceiling  : real -> int
  39. val truncate : real -> int 
  40.  
  41. (* NJ93 Ref *)
  42.  
  43. val inc : int ref -> unit
  44. val dec : int ref -> unit
  45.  
  46. (* NJ93 String *)
  47.  
  48. exception Substring;
  49.  
  50. val ordof     : string * int -> int
  51. val ord       : string -> int                   (* Ord *)
  52. val chr       : int -> string                   (* Chr *)
  53. val substring : string * int * int -> string    (* Substring *)
  54. val explode   : string -> string list
  55. val implode   : string list -> string
  56.